<html>
<!--
This is an alternative prefetched page that loads different resources from 
prefetch_page.html.
-->
<body>
  <script src="prefetch2.js" type="text/javascript"></script>
</body>
</html>
